#include <stdio.h>
#include "demo3.h"

int Counter::Increment() {
  return counter_++;
}

int Counter::Decrement() {
  if (counter_ == 0) return counter_;
  return counter_--;
}

void Counter::Print() const {
  printf("%d", counter_);
}
